package sketch.ounit.fuzz;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SketchGuidedRandomGeneratorExceptionTest extends TestCase {
	
	public static Test suite() {
		return new TestSuite(SketchGuidedRandomGeneratorExceptionTest.class);
	}
	
	public void testExceptionThrowingCode() {
		String filePath = "./testfiles/sketch/ounit/fuzz/ExceptionThrownCodeTest.java";
		String junitclass = "ExceptionThrownCodeTest";
		int timelimit = 1;
		SketchGuidedRandomTestGenerator generator = new SketchGuidedRandomTestGenerator(filePath, junitclass, timelimit, timelimit);
		generator.generate_tests();
	}
}